1. Domain Theory, Logic and Computation :
پدیدآورنده : edited by G Q Zhang, J. Lawson, Y.-M. Liu, M.-K. Luo.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Logic.,Philosophy (General)
رده :
QA76
.
7
E358
2003
2. Domains and Processes :
پدیدآورنده : edited by Klaus Keimel, Guo-Qiang Zhang, Ying-Ming Liu, Yi-Xang Chen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Logic.,Philosophy (General)
رده :
QA76
.
7
E358
2001
3. Dynamic Worlds
پدیدآورنده : edited by Remo Pareschi, Bertram Fronhöfer.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Data structures (Computer science).,Logic.,Philosophy (General).
4. Formal Ontology and Conceptual Realism
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Philosophy (General). ; Logic. ; Philosophy, medieval. ; Metaphysics. ; Ontology. ; Linguistics ; Philosophy. ; Computer science. ; Philosophy. ; Ontology. ; Logic. ; Philosophy of Language. ; Medieval Philosophy. ; Mathematical Logic and Formal Languages
5. Logical Thinking in the Pyramidal Schema of Concepts
پدیدآورنده : / Lutz Geldsetzer, Richard L. Schwartz
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, Symbolic and mathematical,Mathematics, Philosophy,Philosophy (General),Logic,Computer science,منطق ریاضی,ریاضیات -- فلسفه
رده :
QA9
.
G325
2013
6. New Essays in Free Logic
پدیدآورنده : edited by Edgar Morscher, Alexander Hieke.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Logic.,Philosophy (General).,Semantics.
7. Philosophical Logic and Artificial Intelligence
پدیدآورنده : edited by Richmond H. Thomason.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Logic.,Philosophy (General)
رده :
BC71
.
E358
1989
